دامنه های ارزیابی

دامنه ی صحیح r را دامنه ی ارزیابی گوییم هرگاه برای هر عنصر غیر صفر u از میدان خارج قسمتی r حداقل یکی از توسیع های [r?r[u یا [(r?r[u^(-1 دارای هیچ حلقه ی میانی سره ی نباشد. چنین دامنه های به دامنه های ارزیاب (ارزه) نزدیک هستند. نشان می دهیم که اگر r دامنه ی ارزیابی باشد, آن گاه r حداکثر سه ایدال ماکسیمال دارد. به علاوه هرگاه r بسته ی صحیح نباشد, آن گاه r حداکثر دو ایدال ماکسیمال دارد. همچنین خواهیم دید که مجموعه ایدال های اول غیر ماکسیمال r به طور خطی مرتب است.حداکثر یک ایدال از r وجود دارد که شامل هر ایدآل اول غیرماکسیمال از r نیست.